Simulating Algebraic Specification Genericity on Languages with Initial Semantics
نویسندگان
چکیده
This paper discusses the concept of genericity often used in algebraic specification languages and how this concept can be simulated in a meta level in languages with purely initial semantics, as it is the case for ELAN and ASF+SDF. This proposal is being integrated into the FERUS tool, in development for ELAN, and will have the effect of providing in the meta level better modularity features without any changes to the language itself, as long as all manipulations are done through the operations available in the tool.
منابع مشابه
Specification of Generic APIs, or: Why Algebraic May Be Better then Pre/Post
Specification based on Floyd-Hoare logic, using pre and postconditions, is common in languages aimed at high integrity software. Such pre/postcondition specifications are geared towards verification of code. While this specification technique has proven quite successful in the past 40 years, it has limitations when applied to API specification, particularly specification of generic interfaces. ...
متن کاملAn Approach to Algebraic Semantics of Object-Oriented Languages
Studying the semantics of programming languages has a long tradition in computer science. Various approaches use various formalisms with various objectives. In the last two decades, algebraic specifications have frequently been used to study functional as well as imperative languages, and, in particular, object-orientated ones, thereby often focusing on specific aspects and concepts of this pro...
متن کاملALGEBRAIC SPECIFICATION OF PROGRAMMING LANGUAGE SEMANTICS ( Extended
In this talk I shall first give a summary of my views on the aims and uses of formal specification of programming languages, and indicate the main approaches. Denotational semantics will be considered in particular, and some shortcomings of this approach will be suggested. A particular sort of algebraic semantics, called "A-Semantics", will be proposed as a means of alleviatJng these shortcomin...
متن کاملOn the Power of Higher-Order Algebraic Specification Methods
Soundness and adequacy theorems are presented for the expressive power of higher-order initial algebra specifications with respect to the arithmetical and analytical hierarchies. These results demonstrate that higher-order initial algebra semantics substantially extends the power of both first-order initial and first-order final algebra semantics. It thus provides a unifying framework for all t...
متن کاملInitial semantics in logics with constructors
The constructor-based logics constitute the logical foundation of the so-called OTS/CafeOBJ method, a modeling, specification and verification method of the observational transition systems. It is well known the important role played in algebraic specifications by the initial algebras semantics. Free models along presentation morphisms provide semantics for the modules with initial denotation i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 95 شماره
صفحات -
تاریخ انتشار 2004